The Modal Logic of Stone Spaces: diamond as derivative
نویسندگان
چکیده
We show that if we interpret modal diamond as the derived set operator of a topological space, then the modal logic of Stone spaces is K4 and the modal logic of weakly scattered Stone spaces is K4G. As a corollary, we obtain that K4 is also the modal logic of compact Hausdorff spaces and K4G is the modal logic of weakly scattered compact Hausdorff spaces. §
منابع مشابه
Modal Logics of Stone Spaces
Interpreting modal diamond as the closure of a topological space, we axiomatize the modal logic of each metrizable Stone space and of each extremally disconnected Stone space. As a corollary, we obtain that S4.1 is the modal logic of the Pelczynski compactification of the natural numbers and S4.2 is the modal logic of the Gleason cover of the Cantor space. As another corollary, we obtain an axi...
متن کاملModal Logics of Submaximal and Nodec Spaces
In this note we investigate modal logics of submaximal and nodec spaces when the modal diamond is interpreted as the closure operator of a topological space. We axiomatize the modal logic of nodec spaces. We show that the modal logic of submaximal spaces is a proper extension of the modal logic of nodec spaces, axiomatize it, and prove that it coincides with the modal logics of door spaces and ...
متن کاملTitle Fuzzy Topology and Łukasiewicz Logics from the
This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Lukasiewicz n-valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n-valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the al...
متن کاملThe modal logic of β ( N )
Let β(N) denote the Stone–Čech compactification of the set N of natural numbers (with the discrete topology), and let N∗ denote the remainder β(N)−N. We show that, interpreting modal diamond as the closure in a topological space, the modal logic of N∗ is S4 and that the modal logic of β(N) is S4.1.2.
متن کاملDuality for Logics of Transition Systems
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X . The propositional logic used to reason about state spaces from X is modelled by the Stone dual A of X (e.g. if X is Stone spaces then A is Boolean algebras and the propositional logic is the classical one). In order to obtain a m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Rew. Symb. Logic
دوره 3 شماره
صفحات -
تاریخ انتشار 2010